Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advanced Topics in Relation Algebras [[electronic resource] ] : Relation Algebras, Volume 2 / / by Steven Givant
| Advanced Topics in Relation Algebras [[electronic resource] ] : Relation Algebras, Volume 2 / / by Steven Givant |
| Autore | Givant Steven |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIX, 605 p.) |
| Disciplina | 511.324 |
| Soggetto topico |
Mathematical logic
Algebra Mathematical Logic and Foundations General Algebraic Systems |
| ISBN | 3-319-65945-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introduction -- 14. Canonical Extensions -- 15. Completions -- 16. Representations -- 17. Representation Theorems -- 18. Varieties of Relation Algebras -- 19. Atom Structures -- Epilogue -- References -- Index. . |
| Record Nr. | UNINA-9910254307303321 |
Givant Steven
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Duality theories for Boolean algebras with operators [[electronic resource] /] / by Steven Givant
| Duality theories for Boolean algebras with operators [[electronic resource] /] / by Steven Givant |
| Autore | Givant Steven |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (246 p.) |
| Disciplina | 511.324 |
| Collana | Springer Monographs in Mathematics |
| Soggetto topico |
Mathematical logic
Algebra Ordered algebraic structures Mathematical Logic and Foundations Order, Lattices, Ordered Algebraic Structures General Algebraic Systems |
| ISBN | 3-319-06743-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Algebraic Duality -- 2. Topological Duality -- 3. Hybrid Duality. |
| Record Nr. | UNINA-9910299993203321 |
|
Givant Steven
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Relation Algebras [[electronic resource] ] : Relation Algebras, Volume 1 / / by Steven Givant
| Introduction to Relation Algebras [[electronic resource] ] : Relation Algebras, Volume 1 / / by Steven Givant |
| Autore | Givant Steven |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXXII, 572 p. 25 illus.) |
| Disciplina | 511.324 |
| Soggetto topico |
Mathematical logic
Algebra Mathematical Logic and Foundations General Algebraic Systems |
| ISBN | 3-319-65235-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introduction -- 1. The calculus of relations -- 2. Relation algebras -- 3. Examples of relation algebras -- 4. Arithmetic -- 5. Special elements -- 6. Subalgebras -- 7. Homomorphisms -- 8. Ideals and quotients -- 9. Simple algebras -- 10. Relativizations -- 11. Direct products -- 12. Subdirect products -- 13. Minimal relation algebras -- References -- Index. |
| Record Nr. | UNINA-9910254307103321 |
|
Givant Steven
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||